Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

1343 advanced search UI #1344

Merged
merged 4 commits into from
May 7, 2024
Merged

1343 advanced search UI #1344

merged 4 commits into from
May 7, 2024

Conversation

schroerbrian
Copy link
Contributor

@schroerbrian schroerbrian commented Apr 25, 2024

Despite the branch prefix, this refs #1343 . I decided to break #1324 up for ease of review and quicker iteration. This PR merely adds our basic search feature, which is a viable and functional feature in its own right. (Though, admittedly, the filter button does not do anything right now!) That said, my next major task shall be to tackle actual advanced search!

Screen Shot 2024-04-24 at 5 12 35 PM Screen Shot 2024-04-24 at 5 12 05 PM

Copy link
Member

@richardxia richardxia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, sorry for the delay!

@schroerbrian schroerbrian merged commit 639d31a into master May 7, 2024
5 checks passed
@schroerbrian schroerbrian deleted the 1324-advanced-search-ui branch May 7, 2024 17:21
@richardxia richardxia linked an issue Jul 14, 2024 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add Basic Search UI to Navigator Dashboard Page
2 participants